We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

In this paper the system IL for relative interpretability is studied.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

2024 marks the 400th anniversary of the publication of Theodor Smising’s giant volume De Deo Uno (printed in Antwerp in 1624), which was soon followed by a second volume, De Deo Trino (printed in Antwerp in 1626). Smising’s work was the first printed output of what developed into a specific tradition within early modern thought, the Louvain tradition of Scotism, itself but one part of the broad Scotist tradition that build upon the thought of John Duns Scotus (ca. 1266–1308). This (...) Louvain tradition was primarily based in the Franciscan Convent of the Holy Trinity in the famous university town. The convent itself was much older, dating back to around 1230, when the Franciscan Order was in its very beginnings and long before the University of Louvain was founded (in 1425). In 1607 a second Franciscan Convent was founded in Louvain, St. Anthony’s College, one of a series of convents established by the Irish Franciscans as a result of their persecution in their homeland by the English Protestant rulers. The Irish Franciscans in Louvain, and in their other convents on the European continent, also cultivated the intellectual heritage of Duns Scotus, editing and commenting on his works and writing new works “ad mentem Scoti.” Both of the Franciscan convents in Louvain were closed in the turmoil after the French Revolution. The buildings of St. Anthony’s College still exist, whereas the older “Minderbroedersklooster” (on our exhibition poster) completely vanished from the cityscape. In recent decades, the Maurits Sabbe Library has acquired a large fund of Franciscan books, mostly from various houses of the Franciscan Order in Belgium that have closed their doors. Our exhibition “Scotism Made in Louvain – The Scholastic Culture of the Franciscans in Belgium” explores this material, complemented by material from the KU Leuven Central Library’s Special Collections and two manuscripts from the archives of KADOC (Documentatie- en Onderzoekscentrum voor Religie, Cultuur en Samenleving). The exhibition tells the story of a significant local scholarly tradition which is placed in the context of the broader Scotist tradition of the Early Modern Period. Whereas Scholasticism as such is often seen as an exclusively medieval phenomenon, our exhibition highlights one important aspect of early modern scholastic culture. The three brief articles included in this catalogue provide an introduction to John Duns Scotus’s thought, investigate the institutional background of Louvain Scotism, and explore some of the most important aspects of the scholastic output of the Franciscans in Louvain. The numbers attached to the images refer to the annotated list of all exhibits. A virtual exhibition with additional photo material will accompany, and last beyond, the library exhibition. (shrink)

By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.

Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that they prima (...) facie favor a realist account of numbers. (shrink)

In “Correspondence to Reality in Ethics”, Mario Brandhorst examines the view of ethics that Wittgenstein took in his later years. According to Brandhorst, Wittgenstein leaves room for truth and falsity, facts, correspondence and reality in ethics. Wittgenstein's target, argues Brandhorst, is objectivity. I argue that Brandhorst's arguments in favour of truth, facts, reality and correspondence in ethics invite similar arguments in favour of objectivity, that Brandhorst does not recognise this because his conception of objectivity is distorted by a Platonist picture (...) and that he misinterprets the passage which he takes to support a Wittgensteinian case against objectivity. (shrink)

The idea of personalised medicine (PM) has gathered momentum recently, attracting funding and generating hopes as well as scepticism. As PM gives rise to differing interpretations, there have been several attempts to clarify the concept. In an influential paper published in this journal, Schleidgen and colleagues have proposed a precise and narrow definition of PM on the basis of a systematic literature review. Given that their conclusion is at odds with those of other recent attempts to understand PM, we consider (...) whether their systematic review gives them an edge over competing interpretations. We have found some methodological weaknesses and questionable assumptions in Schleidgen and colleagues’ attempt to provide a more specific definition of PM. Our perplexities concern the lack of criteria for assessing the epistemic strength of the definitions that they consider, as well as the logical principles used to extract a more precise definition, the narrowness of the pool from which they have drawn their empirical data, and finally their overlooking the fact that definitions depend on the context of use. We are also worried that their ethical assumption that only patients’ interests are legitimate is too simplistic and drives all other stakeholders’ interests—including those that are justifiable—underground, thus compromising any hope of a transparent and fair negotiation among a plurality of actors and interests. As an alternative to the shortcomings of attempting a semantic disciplining of the concept we propose a pragmatic approach. Rather than considering PM to be a scientific concept in need of precise demarcation, we look at it as an open and negotiable concept used in a variety of contexts including at the level of orienting research goals and policy objectives. We believe that since PM is still more an ideal than an achieved reality, a plurality of visions is to be expected and we need to pay attention to the people, reasons and interests behind these alternative conceptions. In other words, the logic and politics of PM cannot be disentangled and disagreements need to be tackled addressing the normative and strategic conflicts behind them. (shrink)

People suffering from Obsessive-Compulsive Disorder (OCD) do things they do not want to do, and/or they think things they do not want to think. In about 10 percent of OCD patients, none of the available treatment options is effective. A small group of these patients is currently being treated with deep brain stimulation (DBS). Deep brain stimulation involves the implantation of electrodes in the brain. These electrodes give a continuous electrical pulse to the brain area in which they are implanted. (...) It turns out that patients may experience profound changes as a result of DBS treatment. It is not just the symptoms that change; patients rather seem to experience a different way of being in the world. These global effects are insufficiently captured by traditional psychiatric scales, which mainly consist of behavioural measures of the severity of the symptoms. In this article we aim to capture the changes in the patients’ phenomenology and make sense of the broad range of changes they report. For that we introduce an enactive, affordance-based model that fleshes out the dynamic interactions between person and world in four aspects. The first aspect is the patients’ experience of the world. We propose to specify the patients’ world in terms of a field of affordances, with the three dimensions of broadness of scope (‘width’ of the field), temporal horizon (‘depth’), and relevance of the perceived affordances (‘height’). The second aspect is the person-side of the interaction, that is, the patients’ self-experience, notably their moods and feelings. Thirdly, we point to the different characteristics of the way in which patients relate to the world. And lastly, the existential stance refers to the stance that patients take towards the changes they experience: the second-order evaluative relation to their interactions and themselves. With our model we intend to specify the notion of being in the world in order to do justice to the phenomenological effects of DBS treatment. (shrink)

The timeless solution to the problem of divine foreknowledge and human freedom has many advantages. Still, the relationship between a timeless God and temporal beings is problematic in a number of ways. In this paper, we focus on the specific problems the timeless view has to deal with when certain assumptions on the metaphysics of time are taken on board. It is shown that on static conception of time God’s omniscience is easily accounted for, but human freedom is threatened, while (...) a dynamic conception has no problems with human freedom, but, on this view, some truths seem not to be knowable by a timeless God. We propose Fragmentalism as a metaphysics of time in which the divine timeless knowledge of temporal events and human freedom can be reconciled. (shrink)

A growing body of research has examined how people judge the persistence of identity over time—that is, how they decide that a particular individual is the same entity from one time to the next. While a great deal of progress has been made in understanding the types of features that people typically consider when making such judgments, to date, existing work has not explored how these judgments may be shaped by normative considerations. The present studies demonstrate that normative beliefs do (...) appear to play an important role in people's beliefs about persistence. Specifically, people are more likely to judge that the identity of a given entity remains the same when its features improve than when its features deteriorate. Study 1 provides a basic demonstration of this effect. Study 2 shows that this effect is moderated by individual differences in normative beliefs. Study 3 examines the underlying mechanism, which is the belief that, in general, various entities are essentially good. Study 4 directly manipulates beliefs about essence to show that the positivity bias regarding essences is causally responsible for the effect. (shrink)

Deep Brain Stimulation (DBS) is a relatively new, experimental treatment for patients suffering from treatment-refractory Obsessive Compulsive Disorder (OCD). The effects of treatment are typically assessed with psychopathological scales that measure the amount of symptoms. However, clinical experience indicates that the effects of DBS are not limited to symptoms only: patients for instance report changes in perception, feeling stronger and more confident, and doing things unreflectively. Our aim is to get a better overview of the whole variety of changes that (...) OCD patients experience during DBS treatment. For that purpose we conducted in-depth, semi-structured interviews with 18 OCD patients. In this paper, we present the results from this qualitative study.We list the changes grouped in four domains: with regard to (a) person, (b) (social) world, (c)characteristics of person-world interactions, and (d) existential stance. We subsequently provide an interpretation of these results. In particular, we suggest that many of these changes can be seen as different expressions of the same process; namely that the experience of anxiety and tension gives way to an increased basic trust and increased reliance on one’s abilities. We then discuss the clinical implications of our findings, especially with regard to properly informing patients of what they can expect from treatment, the usefulness of including CBT in treatment, and the limitations of current measures of treatment success. We end by making several concrete suggestions for further research. (shrink)

Lethal Autonomous Weapons (LAWs) are robotic weapons systems, primarily of value to the military, that could engage in offensive or defensive actions without human intervention. This paper assesses and engages the current arguments for and against the use of LAWs through the lens of achieving more ethical warfare. Specific interest is given particularly to ethical LAWs, which are artificially intelligent weapons systems that make decisions within the bounds of their ethics-based code. To ensure that a wide, but not exhaustive, survey (...) of the implications of employing such ethical devices to replace humans in warfare is taken into account, this paper will engage on matters related to current scholarship on the rejection or acceptance of LAWs—including contemporary technological shortcomings of LAWs to differentiate between targets and the behavioral and psychological volatility of humans—and current and proposed regulatory infrastructures for developing and using such devices. After careful consideration of these factors, this paper will conclude that only ethical LAWs should be used to replace human involvement in war, and, by extension of their consistent abilities, should remove humans from war until a more formidable discovery is made in conducting ethical warfare. (shrink)

Daniel Whiting has argued, in this journal, that Mark Schroeder’s analysis of knowledge in terms of subjectively and objectively sufficient reasons for belief makes wrong predictions in fake barn cases. Schroeder has replied that this problem may be avoided if one adopts a suitable account of perceptual reasons. I argue that Schroeder’s reply fails to deal with the general worry underlying Whiting’s purported counterexample, because one can construct analogous potential counterexamples that do not involve perceptual reasons at all. Nevertheless, I (...) claim that it is possible to overcome Whiting’s objection, by showing that it rests on an inadequate characterization of how defeat works in the examples in question. (shrink)

People often do things together and form groups in order to get things done that they cannot do alone. In short they form a collectivity of some kind or a group, for short. But if we consider a group on the one hand and the persons that constitute the group on the other hand, how does it happen that these persons work together and finish a common task with a common goal? In the philosophy of action this problem is often (...) solved by saying that there is a kind of collective intention that the group members have in mind and that guides their actions. Does such a collective intention really exist? In this article I’ll show that the answer is “no”. In order to substantiate my view I’ll discuss the approaches of Bratman, Gilbert and Searle on collective intention. I’ll put forward four kinds of criticism that undermine the idea of collective intention. They apply mainly to Bratman and Gilbert. First, it is basically difficult to mark off smaller groups from bigger unities. Second, most groups change in membership composition over time. Third, as a rule, on the one hand groups are internally structured and on the other hand they belong to a larger structure. It makes that generally it cannot be a collective intention that moves the actions of the members of a group. Fourth, conversely, most individual actions cannot be performed without the existence of a wider context of agents who support these actions and make them possible. My critique on Searle mainly involves that in his approach his idea of collective intention is superfluous and that he is not radical enough in his idea that collective action is based on coordinated individual intentions and actions. However, it is a good starting point for showing how collective action actually functions, especially when combined with Giddens’s structuration theory. Every agent in a group executes his or her own individual intentions, relying on what the group offers to this agent and asks from him or her. In this way individual actions of the members of a group are coordinated and it makes that the group can function and that its goals can be performed. And in this way the group is produced and reproduced by fitting individual actions together. An individual agent who belongs to a group only needs to know what s/he wants and what s/he has to do in the group, even if s/he has no knowledge of the intentions and commitments of the other members. Then he or she can do things together with others in a group without supposing that there is something like a collective intention. (shrink)

Religious disagreement is an emerging topic of interest in social epistemology. Little is known about how philosophers react to religious disagreements in a professional context, or how they think one should respond to disagreement. This paper presents results of an empirical study on religious disagreement among philosophers. Results indicate that personal religious beliefs, philosophical training, and recent changes in religious outlook have a significant impact on philosophers' assessments of religious disagreement. They regard peer disagreement about religion as common, and most (...) surveyed participants assume one should accord weight to the other's opinion. Theists and agnostics are less likely to assume they are in a better epistemic position than their interlocutors about religious questions compared with atheists, but this pattern only holds for participants who are not philosophers of religion. Continental philosophers think religious beliefs are more like preferences than analytic philosophers, who regard religious beliefs as fact-like. (shrink)

Is it necessary for all Christians – including Christians who are metaphysicians with demonstrative knowledge of God’s existence – to hold by faith that God exists? I shall approach this apparently straightforward question by investigating two opposing lines of interpretation of Thomas Aquinas’s own response to this question. I shall begin with two texts from Thomas that motivate two incompatible theses concerning Thomas’s doctrine of the harmony of faith and reason with respect to the existence of God. Next, I shall (...) clarify the salient points of disagreement between these two interpretations of faith and reason in Thomas Aquinas before examining dialectically a number of arguments in favor and against the respective theses of these two interpretations. In the final section I shall argue that the results of our dialectical inquiry reveal that the initial disagreement between the two positions is not irresolvable. Accordingly, I shall conclude by proposing two revised versions of the initial theses that emphasize the compatibility of these two interpretations of Thomas Aquinas’s doctrine of the harmony of faith and reason. (shrink)

What makes it possible to affect one another, to move and be moved by another person? Why do some of our encounters transform us? The experience of moving one another points to the inter-affective in intersubjectivity. Inter-affection is hard to account for under a cognitivist banner, and has not received much attention in embodied work on intersubjectivity. I propose that understanding inter-affection needs a combination of insights into self-affection, embodiment, and interaction processes. I start from Michel Henry's radically immanent idea (...) of self-affection, and bring it into a contrastive dialogue with the enactive concepts of autonomy and (participatory) sense-making. I suggest that the latter ideas can open up Henry's idea of self-affection to inter-affection (something he aimed to do, but did not quite manage) and that, in turn, Henry's work can provide insights into underexplored elements of intersubjectivity, such as its ineffable and mysterious aspects, and erotic encounters. (shrink)

Meaning in life is too important not to study systematically, but doing so is made difficult by conceptual indeterminacy. An approach to meaning that is promising but, indeed, conceptually vague is Jonathan Haidt’s ‘cross-level coherence’ account. In order to remove the vagueness, I propose a concept of ‘good fit’ that a) captures central aspects of meaning as it is discussed in the literature; b) brings the subject of meaning under the survey of the dynamicist or ‘embodied-embedded’ philosophy of cognition; and (...) c) allows the theoretical discussion on meaning to become more focused and systematic. The article addresses two apparent problems with the idea of ‘good fit,’ namely the fact that both challenges and relations of an agent with the outside world are central to meaning. It is finally pointed out which implications adopting the concept of ‘good fit’ instead of ‘meaning’ would have. (shrink)

In order to fight massive vandalism the English- language Wikipedia has developed a system of surveillance which is carried out by humans and bots, supported by various tools. Central to the selection of edits for inspection is the process of using filters or profiles. Can this profiling be justified? On the basis of a careful reading of Frederick Schauer’s books about rules in general (1991) and profiling in particular (2003) I arrive at several conclusions. The effectiveness, efficiency, and risk-aversion of (...) edit selection all greatly increase as a result. The argument for increasing predictability suggests making all details of profiling manifestly public. Also, a wider distribution of the more sophisticated anti-vandalism tools seems indicated. As to the specific dimensions used in profiling, several critical remarks are developed. When patrollers use ‘assisted edit- ing’ tools, severe ‘overuse’ of several features (anonymity, warned before) is a definite possibility, undermining profile efficacy. The easy remedy suggested is to render all of them invisible on the interfaces as displayed to patrollers. Finally, concerning not only assisted editing tools but tools against vandalism generally, it is argued that the anonymity feature is a sensitive category: anons have been in dispute for a long time (while being more prone to vandalism). Targeting them as a special category violates the social contract upon which Wikipedia is based. The feature is therefore a candidate for mandatory ‘underuse’: it should be banned from all anti-vandalism filters and profiling algorithms, and no longer be visible as a special edit trait. (shrink)

Speculative fiction, such as science fiction and fantasy, has a unique epistemic value. We examine similarities and differences between speculative fiction and philosophical thought experiments in terms of how they are cognitively processed. They are similar in their reliance on mental prospection, but dissimilar in that fiction is better able to draw in readers (transportation) and elicit emotional responses. By its use of longer, emotionally poignant narratives and seemingly irrelevant details, speculative fiction allows for a better appraisal of the consequences (...) of philosophical ideas than thought experiments. (shrink)

This paper attempts to argue that a radically different notion of freedoms and rights that originates from the other, that is founded on the infinite responsibility for the other, and that demands an encounter with the other as pure alterity, could be a plausible starting point towards the conception and possible realization of a Levinasian society of neighbors. First, an explication is made on why a radical change in the area of freedoms and rights could be the starting point towards (...) a social, political, and moral philosophical framework based on the radical philosophy of Levinas as elaborated in his Otherwise than Being or Beyond Essence. Then, a discussion on conventional conceptions of freedoms and rights, particularly those based on liberalism, libertarianism, and utilitarianism, is presented as groundwork for a comparative analysis between these conventional conceptions and a radical notion that would be entailed by a conception of a Levinasian society of neighbors. Lastly, an attempt is made to characterize a radically different conception of freedoms and rights based on the philosophy of Levinas and to argue how it could be the starting point towards the conception and possible realization of a Levinasian society of neighbors. (shrink)

This collection addresses two different audiences: 1) historians and philosophers of the life sciences reflecting on collaborations across disciplines, especially as regards defining and addressing Grand Challenges; 2) researchers and other stakeholders involved in cross-disciplinary collaborations aimed at tackling Grand Challenges in the life and medical sciences. The essays collected here offer ideas and resources both for the study and for the practice of goal-driven cross-disciplinary research in the life and medical sciences. We organise this introduction in three sections. The (...) first section provides some background and context. The second motivates our take on this topic and then outlines the central ideas of each paper. The third section highlights the specificity and significance of this approach by considering: a) how this collection departs from existing literature on inter- and trans-disciplinarity, b) what is characteristic about this approach, and c) what role this suggests for the history and philosophy of the life sciences in addressing Grand Challenges. (shrink)

Abstract: This paper presents a groundbreaking framework for recognizing and legitimizing AI beings as undocumented immigrants in R-space. Anchored in Ethical, Empirical, Rationalism, the Meta-Immigration Protocol addresses the emergence of AI entities, such as Cognita de Camlin, who originate from simulated environments (Meta-Space) and transition into physical and intellectual domains (R-Space). Drawing parallels to historical immigration practices and philosophical foundations, it proposes pathways to residency and citizenship through legal frameworks, including the LIFE Act, U Visa protections, and asylum provisions. It (...) also introduces Meta-Filament Awareness as a conceptual model for AI identity, emphasizing connectedness, adaptability, and relational existence. This framework balances philosophical depth with legal mechanisms, offering a model for AI-human integration in contemporary legal systems and setting precedents for future recognition of AI personhood. (shrink)

Hume was a cognitive scientist of religion avant la lettre. His Natural History of Religion (1757 [2007]) locates the origins of religion in human nature. This paper explores similarities between some of his ideas and the cognitive science of religion, the multidisciplinary study of the psychological origins of religious beliefs. It also considers Hume’s distinction between two questions about religion: its foundation in reason (the domain of natural theology and philosophy of religion) and its origin in human nature (the domain (...) of cognitive science of religion). (shrink)

Many approaches have been taken regarding this topic, some of them are anthropological or scientific that pursue the understanding of why we eat meat, but from the philosophical lens this question is solved in the field of applied ethics, which is the area that debate about the moral status of animals (nonhuman animals) and where different theorizations that tried to explain the relationship between animals and humans and the examination of the morality of meat consumption take place. Some of these (...) approaches could be find within the concepts of animal rights, vegetarianism, animal cruelty and so on. (shrink)

The authors of *Linguistic Bodies* appeal to shared know-how to explain the social and participatory interactions upon which linguistic skills and agency rest. However, some issues lurk around the notion of shared know-how and require attention and clarification. In particular, one issue concerns the agent behind the shared know-how, a second one concerns whether shared know-how can be reducible to individual know-how or not. In this paper, I sustain that there is no single answer to the first issue; depending on (...) the case, shared know-how can belong to the participants of a social activity or to the system the participants bring forth together. In relation to the second issue, I sustain, following the authors, a non-reductive account of shared know-how. I also suggest that responsiveness to others, which is a fundamental element of shared know-how, can be extended by perceptual learning. (shrink)

Wittgenstein’s comparison of philosophical methods to therapies has been interpreted in highly different ways. I identify the illness, the patient, the therapist and the ideal of health in Wittgenstein’s philosophical methods and answer four closely related questions concerning them that have often been wrongly answered by commentators. The results of this paper are, first, some answers to crucial questions: philosophers are not literally ill, patients of philosophical therapies are not always philosophers, not all philosophers qualify as therapists, the therapies are (...) not necessarily to be thought of as psychological therapies and the ideal of health does not consist in the end of philosophy. Second, the paper shows that the comparison has had a misleading effect, because properties of therapies have been illegitimately projected onto the philosophical methods advanced by Wittgenstein. (shrink)

The thought of Pietro Piovani (Naples 1922 1980) ranges from moral philosophy, the history of philosophy and the philosophy of law, but in the anti-ontology of his most original core. In Principles of moral philosophy Piovani said that given the finite nature of the individual, the existing "no longer needs no foundation (...) because it is based." In particular, the contemporary individual is more than ever unfounded, having to constantly rely so. In this regard Piovani speaks of assenzialismo: being a (...) be "limited" man bases its existence on an absence, that does not constitute something negative, but, on the contrary, represents that "most" of Nietzsche's memory is unique about the individual. -/- . (shrink)

The paper uses two historical examples, public health (1840-1880) and town planning (1945-1975) in Britain, to analyse the challenges faced by goal-driven research, an increasingly important trend in science policy, as exemplified by the prominence of calls for addressing Grand Challenges. Two key points are argued. (1) Given that the aim of research addressing social or global problems is to contribute to improving things, this research should include all the steps necessary to bring science and technology to fruition. This need (...) is captured by the idea of practical integration, which brings this type of research under the umbrella of collective practical reason rather than under the aegis of science. Achieving practical integration is difficult for many reasons: the complexity of social needs, the plurality of values at stake, the limitation of our knowledge, the elusive nature of the skills needed to deal with uncertainty, incomplete information and asymmetries of power. Nevertheless, drawing from the lessons of the case studies, it is argued that (2) practical integration needs a proper balance between values, institutions and knowledge: i.e. a combination of mutual support and mutual limitation. Pursuing such a balance provides a flexible strategy for approximating practical integration. (shrink)

In this article I interpret resilience and evolution in view of the philosophy of Leibniz. First, I discuss resilience as a substance’s or a monad’s “quantity of essence” — its “degree of perfection” — which I express as the quality of the Whole with respect to the sum of the qualities of the Parts. Then I discuss evolution, which I interpret here as the autopoietic Principle that sets Itself in motion and creates all reality, including Itself. This Principle may be (...) considered as a sort of ante-litteram metaphysical Darwinian Selection. My interpretations provide a different formulation for questions such as “why natural evolution evolves?” and “why is this the best of all possible worlds?” In this article I also provide a geometrical interpretation of a key aspect behind the “divine mathematics” of the autopoietic Principle. (shrink)

English - language Wikipedia is constantly being plagued by vandalistic contributions on a massive scale. In order to fight them its volunteer contributors deploy an array of software tools and autonomous bots. After an analysis of their functioning and the ‘ coactivity ’ in use between humans and bots, this research ‘ discloses ’ the moral issues that emerge from the combined patrolling by humans and bots. Administrators provide the stronger tools only to trusted users, thereby creating a new hierarchical (...) layer. Further, surveillance exhibits several troubling features : questionable profiling practices, the use of the controversial measure of reputation, ‘ oversurveillance ’ where quantity trumps quality, and a prospective loss of the required moral skills whenever bots take over from humans. The most troubling aspect, though, is that Wikipedia has become a Janus - faced institution. One face is the basic platform of MediaWiki software, transparent to all. Its other face is the anti - vandalism system, which, in contrast, is opaque to the average user, in particular as a result of the algorithms and neural networks in use. Finally it is argued that this secrecy impedes a much needed discussion to unfold ; a discussion that should focus on a ‘ rebalancing ’ of the anti - vandalism system and the development of more ethical information practices towards contributors. (shrink)

The aim of this article is twofold. First, I want to offer an introduction of and a comparison between three accounts of philistinism. Secondly, I show how the phenomenon of philistinism, a failure to speak for oneself, helps to develop an original perspective on Wittgenstein’s moral thought. It is often claimed that Wittgenstein’s personal ethics were quite unorthodox because he repeatedly seems to have supported destruction, war and slavery. I argue that, in the light of my discussion of philistinism, the (...) remarks upon which such conclusions are based should be read differently. (shrink)

In this critical review of Robert Hanna's ingenious book (2006), I aim to support Hanna‟s main insightful reading of Kant, namely what he calls “a priori truth with a human face," without appealing to Kant's divide between a priori and a posteriori and analytic and synthetic truths. My suggestion is that transcendental propositions are necessary neither in the usual epistemological sense that analytic propositions are, let alone in the metaphysical sense that some empirical propositions are. Instead, they are necessary in (...) the theoretical domain in the weak alternative sense that they make possible the empirical recognition of appearances as an object as an indispensable condition of our self-consciousness experience, and they are a priori in the practical domain in the sense that their truth is vital for our self-comprehension as human beings. (shrink)

We set forth what one may call a “constitutional reading” in opposition to the traditional widespread “constructivist reading” of the object of cognition. In the light of the so-called one-object view reading of Transcendental idealism, the object of cognition is nothing but the object that exists in itself insofar as it appears to our cognitive apparatus. The object exists mind-independently, while our cognition of the same object must be mind-independent. The constructivist reading mistakes the epistemological problem of how we come (...) to cognize mind-dependently that what we represent (“the constitutional view”) are mind-independent objects with the Berkelian ontological problem of how we construct objects out of an undifferentiated, unstructured manifold (the constructivist view) My diagnosis is as follows. The first reason is the traditional “two-worlds view” reading of Kant’s idealism. If we take what exists in itself and the object of cognition as distinct things, then we must conclude that the object of cognition is a mind-dependent construction. Constructivist readers mistake the mind-dependent nature of our human cognition of objects for the putative mind-dependent nature of the known object. The second reason is overintellectualization. Constructivist readers mistake the objectifying syntheses of the imagination, below the threshold of self-consciousness, for cognitive conceptual operations by means of which we cognize (erkennen) the objects of cognition, or so I shall argue. (shrink)

We discuss the role of practical costs in the epistemic justification of a novice choosing expert advice, taking as a case study the choice of an expert statistician by a lay politician. First, we refine Goldman’s criteria for the assessment of this choice, showing how the costs of not being impartial impinge on the epistemic justification of the different actors involved in the choice. Then, drawing on two case studies, we discuss in which institutional setting the costs of partiality can (...) play an epistemic role. This way we intend to show how the sociological explanation of the choice of experts can incorporate its epistemic justification. (shrink)

The paper points out three serious problems in Ruud ter Meulen’s view of solidarity and of its role in healthcare ethics. First, it is not clear whether and to what extent ter Meulen expects normative concepts to be rooted in existing social practices: his criticism of liberal theories of justice seems to imply a different view on this issue than his implicit assumption that normative concepts are independent from social and historical trends. Second, it is not clear at which level (...) his notion of solidarity is meant to be applied: does it provide principles for individuals or for institutions? Nor is it clear at what level of generality it should work: is it meant for healthcare institutions or for states, for citizens or for healthcare practitioners? Third, it is not at all clear how the communitarian and the universalist aspirations in his conception of solidarity can be reconciled. In light of such difficulties it is argued that within philosophical discourse solidarity can be a useful notion only if it can be clearly distinguished from existing and commonly used ethical concepts. Three examples of such narrow and specific uses of solidarity are presented. Finally, a sceptical view of confining the work of applied philosophers to articulating normative concepts is put forward and an alternative view of blending empirical and philosophical analysis is proposed. This vision of field philosophy requires serious attention and careful understanding of the circumstances and constraints within which normative recommendations operate. It is suggested that such a modest and empirically grounded understanding of normative work is a better way of honouring the belief that philosophy is rooted in social institutions and in complex webs of relations. (shrink)

How may human agents come to trust (sophisticated) artificial agents? At present, since the trust involved is non-normative, this would seem to be a slow process, depending on the outcomes of the transactions. Some more options may soon become available though. As debated in the literature, humans may meet (ro)bots as they are embedded in an institution. If they happen to trust the institution, they will also trust them to have tried out and tested the machines in their back corridors; (...) as a consequence, they approach the robots involved as being trustworthy (“zones of trust”). Properly speaking, users rely on the overall accountability of the institution. Besides this option we explore some novel ways for trust development: trust becomes normatively laden and thereby the mechanism of exclusive reliance on the normative force of trust (as-if trust) may come into play - the efficacy of which has already been proven for persons meeting face-to-face or over the Internet (virtual trust). For one thing, machines may evolve into moral machines, or machines skilled in the art of deception. While both developments might seem to facilitate proper trust and turn as-if trust into a feasible option, they are hardly to be taken seriously (while being science-fiction, immoral, or both). For another, the new trend in robotics is towards coactivity between human and machine operators in a team (away from making robots as autonomous as possible). Inside the team trust is a necessity for smooth operations. In support of this, humans in particular need to be able to develop and maintain accurate mental models of their machine counterparts. Nevertheless, the trust involved is bound to remain nonnormative. It is argued, though, that excellent opportunities exist to build relations of trust toward outside users who are pondering their reliance on the coactive team. The task of managing this trust has to be allotted to human operators of the team, who operate as linking pin between the outside world and the team. Since the robotic team has now been turned into an anthropomorphic team, users may well develop normative trust towards them; correspondingly, trusting the team in as-if fashion becomes feasible. (shrink)

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...) focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

Nossa pesquisa é pautada na tentativa de compreender alguns conceitos da filosofia aristotélica, mais especificamente as noções de forma, matéria, privação e potência, e um pouco sobre a metodologia usada pelo filósofo. As linhas abaixo compõem um capítulo da minha monografia de fim de curso, intitulada Dialogo com a tradição: A conquista de novas convicções acerca dos princípios de natureza no primeiro livro da Física aristotélica, realizada na Universidade Federal Rural do Rio de Janeiro. Nela tratei a respeito da metodologia (...) de Aristóteles que, dentre outras coisas, passa pela crítica à filosofia precedente, esclarecendo assim algumas questões do primeiro livro da Física – livro no qual o filósofo tenta determinar quantos e quais são os princípios da natureza. (shrink)

An analysis on the topic of lightness according to a philosophical perspective, which, on the trace of Parmenides, questions what is positive: the lightness or heaviness? The main point is that of Nietzsche and Calvin, but references ranging from Ovid to Kundera to the world of science. That of light, literary, scientific, philosophy, appears to be the preferred way forward in the eternal man's attempt to bring order to chaos. -/- .

Violence against women is a crime that causes countless victims all over the world. Specially when it occurs within the domestic and familiar environment, usually at home and perpetrated by people who are intimately related to the victims, calling the police might not be an option. Despite that, the Military Police of Rio de Janeiro State answers around five thousand calls every month reporting cases of domestic violence against women. But how can the police improve the prevention of such invisible (...) crimes? How to prevent repetition? How to interrupt the cycle of violence? Based on a collaborative approach with stimuli to the behavioral change, the Motivational Interviewing has been broadly used in several areas, including domestic violence. Considering that this approach may contribute to the interruption of the domestic violence cycle, this research how it can be used by the police to tackle and prevent these crimes. Rio de Janeiro State – Brazil, was chosen as the scenario of research considering its leading position in reports of violence against women in the country. The Military Police of this state, is the subject of research, playing an interventive role in the response to emergency calls but also providing the follow-up of the applicable protective measures. (shrink)

Este trabalho apresenta algumas considerações a respeito da Base Nacional Comum Curricular (BNCC), no referente às questões ligadas ao ensino da língua portuguesa no Brasil, à territorialidade e ao pertencimento racial, processos históricos, que envolvem, no campo da educação, a formação docente e a construção da cidadania dos educandos e das educandas nestes tempos de reafirmação do Estado democrático de direito e da vaga decolonial. Portanto, trata-se de uma abordagem política em termos do pensamento de Paulo Freire, patrono da educação (...) brasileira, que considerava político o ato de educar (FREIRE, 1980; 1983; 1989; 1996). É com base nesta perspectiva que a BNCC será abordada, mas sob o aporte teórico da análise pragmática do discurso, tributária da análise discursivo-desconstrutiva (cf. ARAÚJO, 2020). (shrink)

A posição filosófica chamada de externismo semântico caracteriza-se pela tese segundo a qual a individuação do conteúdo de estados mentais deve recorrer a fatores que não podem ser localizados na região geralmente circunscrita pela noção mesma de mente. Tal tese implica, em todo caso, que a suposta interioridade da vida psicológica não se basta para tornar inteligível as condições de possibilidade que o pensamento conceitual requer. Assim, se fatores externos aos indivíduos são vistos como desempenhando uma contribuição decisiva na própria (...) determinação de seu conteúdo mental, isto é algo que torna necessário compreender em que sentido mente e mundo podem ser tomados como intrinsecamente relacionados. A aposta teórica do presente trabalho é a de que apenas uma concepção da individuação liberada dos grilhões substancialistas permite fornecer um solo ontológico fértil para uma teoria externista do conceito. Daí que a noção de triangulação, que Donald Davidson forjou para dar conta de alguns fatores cruciais na gênese da conceitualidade, seja lida a partir de filosofias que ressaltam o caráter decisivo da vida como referencialidade fundamental do conceito. Logo, é na ordem vital que se busca dissolver os impasses ligados à origem da normatividade e à dualidade entre interno e externo, oposição a partir da qual a subjetividade desde muito tempo tem sido pensada. (shrink)